ТЕОРЕМЫ


ТЕОРЕМЫ
— множество производных, в частности, логически выводимых в конечном счете из аксиом высказываний теории. Истинность теорем гарантируется самим фактом их логического выведения (или генетического конструирования) из аксиом либо установлением тождества их содержания некоторому подмножеству протокольных предложений данной теории. (См. теория, аксиомы, вывод).


Философия науки: Словарь основных терминов. — М.: Академический Проект. . 2004.

Смотреть что такое "ТЕОРЕМЫ" в других словарях:

  • Теоремы — …   Википедия

  • Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …   Википедия

  • теоремы Шеннона — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN Shannons theorems …   Справочник технического переводчика

  • теоремы кодирования — (МСЭ Т T.810). [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN coding theorems …   Справочник технического переводчика

  • теоремы о неполноте — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN incompleteness theorems …   Справочник технического переводчика

  • Теоремы косинусов (сферическая геометрия) — Сферический треугольник. Первая и вторая сферические теоремы косинусов устанавливают соотношения между сторонами и противолежащими им углами сферического треугольника …   Википедия

  • Теоремы Силова — В теории групп теоремы Силова представляют собой неполный вариант обратной теоремы к теореме Лагранжа и для некоторых делителей порядка группы G гарантируют существование подгрупп такого порядка. Теоремы доказаны норвежским математиком Силовом в… …   Википедия

  • Теоремы об изоморфизме — Запрос «Теорема об изоморфизме» перенаправляется сюда; см. также другие значения. Первая теорема об изоморфизме Т …   Википедия

  • Теоремы Шеннона для источника общего вида — Не следует путать с другими теоремами Шеннона. Теоремы Шеннона для источника общего вида описывают возможности кодирования источника общего вида с помощью разделимых кодов. Другими словами, описываются максимально достижимые возможности… …   Википедия

  • Теоремы Карно — У этого термина существуют и другие значения, см. цикл Карно. Теоремы Карно две теоремы эвклидовой геометрии, названные в честь Лазара Карно (1753 1823). Содержание 1 Первая теорема (более известна как формула Карно) …   Википедия

Книги

Другие книги по запросу «ТЕОРЕМЫ» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.